function highlightHeader(header) {
	document.getElementById(header).style.color = "MediumSeaGreen";
}